Gå till sökfältet
Gå till sidans huvudinnehåll
Gå till tillgänglighetsredogörelsen
Forskning.fi
Menu
Suomeksi
På svenska
In English
Ingångssida
Sökning
Vetenskaps- och innovationspolitik
Vetenskaps- och forskningsnyheter
Min profil
På svenska
- 165 results
Publikationer
165
Utlysningar
0
Beviljade finansiering
0
Personer
0
Data
0
Infrastrukturer
0
Organisationer
0
Projekt
0
Publikationer -
165
sökresultat
Gå till sökresultaten
Visa som bild
Begränsa sökning
Resultaten visas 1 - 10 / 165
10
50
100
resultat / per sida
Vilka
publikations
uppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
CONDITIONAL BELIEFS:FROM NEIGHBOURHOOD SEMANTICS TO
SEQUENT
CALCULUS
Referentgranskad
DOI
10.1017/S1755020318000023
Girlando, Marianna; Negri, Sara; Olivetti, Nicola; Risch, Vincent
The Review of Symbolic Logic
2018
A
sequent
calculus
isomorphic to Gentzen's natural deduction
Referentgranskad
DOI
DOI:10.1017/S1755020310000195
von Plato, Jan
The Review of Symbolic Logic
2011
The Logic of Conditional Beliefs:Neighbourhood Semantics and
Sequent
Calculus
Referentgranskad
Negri, Sara; Olivetti, Nicola; Girlando, Marianna; Risch, Vincent
College publications
2016
Proof-Theoretic Analysis of the Quantified Argument
Calculus
Referentgranskad
Öppen tillgång
DOI
10.1017/S1755020318000114
Pavlović , Edi; Norbert Gratzl
The Review of Symbolic Logic
2019
A
sequent
calculus
for preferential conditional logic based on neighbourhood semantics
Referentgranskad
Negri, Sara; Olivetti, Nicola
Lecture Notes in Computer Science
2015
Alternative Axiomatization for Logics of Agency in a G3
Calculus
Referentgranskad
Öppen tillgång
DOI
10.1007/s10699-021-09784-3
Negri, Sara; Pavlovic, Edi
Foundations of Science
2023
Multicentric Holomorphic
Calculus
Nevanlinna, Olavi
-
2010
Pseudodifferential
calculus
on the 2-sphere
Referentgranskad
Turunen, Ville
Estonian Academy of Sciences. Proceedings. Physics. Mathematics
2004
Pseudodifferential
calculus
on the 2-sphere
Turunen, Ville
-
2003
Multicentric
calculus
and the Riesz projection
Referentgranskad
Öppen tillgång
Apetrei, Diana; Nevanlinna, Olavi
Journal of Numerical Analysis and Approximation Theory
2016
CONDITIONAL BELIEFS:FROM NEIGHBOURHOOD SEMANTICS TO
SEQUENT
CALCULUS
Referentgranskad
DOI
10.1017/S1755020318000023
2018
A
sequent
calculus
isomorphic to Gentzen's natural deduction
Referentgranskad
DOI
DOI:10.1017/S1755020310000195
2011
The Logic of Conditional Beliefs:Neighbourhood Semantics and
Sequent
Calculus
Referentgranskad
2016
Proof-Theoretic Analysis of the Quantified Argument
Calculus
Referentgranskad
Öppen tillgång
DOI
10.1017/S1755020318000114
2019
A
sequent
calculus
for preferential conditional logic based on neighbourhood semantics
Referentgranskad
2015
Alternative Axiomatization for Logics of Agency in a G3
Calculus
Referentgranskad
Öppen tillgång
DOI
10.1007/s10699-021-09784-3
2023
Multicentric Holomorphic
Calculus
2010
Pseudodifferential
calculus
on the 2-sphere
Referentgranskad
2004
Pseudodifferential
calculus
on the 2-sphere
2003
Multicentric
calculus
and the Riesz projection
Referentgranskad
Öppen tillgång
2016
Föregående
1
2
3
4
5
Nästa
Resultaten visas 1 - 10 / 165
Sida 1
Sort